Logic Programming

Declarative Diagnosis of Temporal Concurrent Constraint Programs

Abstract Interpretation / Logic Programming / Concurrent Constraint Programming

MANCaLog: A Logic for Multi-Attribute Network Cascades (Technical Report)

Artificial Intelligence / Social Networks / Computational Logic / Logic Programming / Complex Networks / Social Network Analysis (Social Sciences) / Multi Agent Systems / Rule based systems / Agent based modeling / Social Network Analysis (Social Sciences) / Multi Agent Systems / Rule based systems / Agent based modeling

Access control meets public key infrastructure, or: Assigning roles to strangers

Business / Logic Programming / Public Key Infrastructure / Access Control / Trust Management / Authentication / Key Management / Public key cryptography / Authorisation / Certification / Web Server / Bottom Up / Role Based Access Control / Internet / X / Electronic Commerce / Message Authentication / Authentication / Key Management / Public key cryptography / Authorisation / Certification / Web Server / Bottom Up / Role Based Access Control / Internet / X / Electronic Commerce / Message Authentication

Loop Formulas for Splitable Temporal Logic Programs

Logic Programming / Answer Set Programming / Linear Temporal Logic / Boolean Satisfiability / Temporal Logic

A parallel prolog system for distributed memory

Logic Programming / Distributed Shared Memory System / Crossed Product

Abstract diagnosis

Abstract Interpretation / Logic Programming / Bottom Up / Top Down

Copyright © 2017 DADOSPDF Inc.